#include "trier.h"
#include "../input/input.h"
#include "../parser/parser.h" 
#include "../converter/converter.h"
#include "../data.h"
#include<stdio.h>
#include<stdlib.h>

int main(int argc, char** argv) {
    pos = 0;
    char x[] = "pensi(x,a)";
    char y[] = "pensi(b,y)";
    MGU(x,y);
    int i;
    for (i=0;i<pos;++i) {
        printf("%s %s\n",unifier[i][0],unifier[i][1]);
        free(unifier[i][0]);
        free(unifier[i][1]);
    }
    
    pos = 0;
    char a[] = "pensi(x,x)";
    char b[] = "pensi(y,f(y))";
    if (!MGU(a,b)) printf("Haha\n");
    for (i=0;i<pos;++i) {
        printf("%s %s\n",unifier[i][0],unifier[i][1]);
        free(unifier[i][0]);
        free(unifier[i][1]);
   }
 
    /*if(argc!=2){
		printf("Eksekusi dengan:\n");
		printf("main Nama_File\n");
	}
	else{
		printf("Loading file...\n");
		Read(argv[1]);
		int i;
		for(i = 0; i < lnum; i++){
			printf("%s\n",Line[i]);
		}
        parse_premise();
        parse_goal();
        
        for (i=0;i<tvar;++i) printf("%s\n",variable[i]);
        
        convert();
        
        for (i=1;i<=tgoal;++i) {
            convert_goal(i);
            prove_goal(i);
        }
	}*/
    return 0;
}
